Zermelo–Fraenkel set theory - PDFSEARCH.IO - Document Search Engine

Zermelo–Fraenkel set theory
Results: 96

#	Item
31	Remote Instrument Operation Topics • Enhancing Demonstrations in the Classroom • Tool for Collaboration • Remote Instrument Operation • Issues/Problems Add to Reading List Source URL: mrfn.org Language: English - Date: 2012-12-14 01:05:41 Z notation Zermelo–Fraenkel set theory UltraVNC X Window System Software Remote administration software Virtual Network Computing
32	Something from Nothing Tom Davis [removed] http://www.geometer.org/mathcircles October 24, 2000 Add to Reading List Source URL: www.geometer.org Language: English - Date: 2007-11-02 18:11:05 Axioms of set theory Z notation Function Zermelo–Fraenkel set theory Axiom schema of specification Constructible universe Axiom of choice Principia Mathematica Axiom of regularity Mathematical logic Mathematics Set theory
33	Remote Instrument Operation Topics • Enhancing Demonstrations in the Classroom • Tool for Collaboration • Remote Instrument Operation • Issues/Problems Add to Reading List Source URL: prod.mrfn.org Language: English - Date: 2012-12-14 01:05:41 Z notation Zermelo–Fraenkel set theory UltraVNC X Window System Software Remote administration software Virtual Network Computing
34	Remote Instrument Operation Topics • Enhancing Demonstrations in the Classroom • Tool for Collaboration • Remote Instrument Operation • Issues/Problems Add to Reading List Source URL: www.mrfn.org Language: English - Date: 2012-12-14 01:05:41 Z notation Zermelo–Fraenkel set theory UltraVNC X Window System Software Remote administration software Virtual Network Computing
35	RESEARCH NETWORKING PROGRAMME NEW FRONTIERS OF INFINITY: MATHEMATICAL, PHILOSOPHICAL AND COMPUTATIONAL PROSPECTS (INFTY) Standing Committee for the Humanities (SCH) Add to Reading List Source URL: www.esf.org Language: English - Date: 2009-09-29 05:19:32 Philosophy of mathematics Forcing Cardinal numbers Epistemology Z notation Set theory Zermelo–Fraenkel set theory Infinity Continuum hypothesis Mathematics Mathematical logic Logic
36	Reverse Mathematics Benedict Eastaugh December 13, 2011 In ordinary mathematical practice, mathematicians prove theorems, reasoning from a fixed1 set of axioms to a logically derivable conclusion. The axioms in play are Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Z notation Formal systems Reverse mathematics Second-order arithmetic Peano axioms Zermelo–Fraenkel set theory Ordinal analysis Logic Mathematical logic Mathematics
37	Sets and Antisets Michael L. Carroll June 22, 2009 Abstract This paper modies, extends and, with respect to set union, provides for the algebraic closure of standard Zermelo-Fraenkel (ZF) set theory. It Add to Reading List Source URL: www.csz.com Language: English - Date: 2009-06-22 13:51:00 Z notation Zermelo–Fraenkel set theory Function Cardinality Power set Cardinal number Constructible universe Finite set Universe Mathematical logic Mathematics Set theory
38	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic
39	Postdoctoral Position in the Philosophy of Set Theory The Hyperuniverse: Laboratory of the Infinite The KGRC (Kurt Goedel Research Center, University of Vienna) will serve as host for the Hyperuniverse Project, an invest Add to Reading List Source URL: www.logic.univie.ac.at Language: English - Date: 2012-08-27 04:39:52 Inner model theory Large cardinals Axioms of set theory Ordinal definable set Zermelo–Fraenkel set theory Von Neumann universe Absoluteness Reflection principle Core model Mathematical logic Set theory Mathematics
40	Set Theory for Computer Science Glynn Winskel [removed] c 2010 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-10-21 11:47:42 Mathematical proof Mathematical induction Transfinite induction Set theory Ordinal number Well-founded relation Axiom of choice Function Zermelo–Fraenkel set theory Mathematics Mathematical logic Logic